A tool for Swarm satellite data analysis and anomaly detection

In this work we introduce a system pipeline for the analysis of earth's electromagnetic field that is used to analyse precursors to earthquakes. Data gathered by the Swarm satellites are used to present the utility of our system. Our objective is to provide a streamlined method to analyze electromagnetic data over a region and investigate the relationship of precursory signals to seismic events. The process follows three distinct stages: data extraction, data pre-processing and anomaly detection. The first stage consists of the region selection and data extraction. The second stage consists of four different pre-processing methods that address the data sparsity problem and the cause of artificial anomalies. The last stage is the Anomaly Detection (AD) of the Swarm satellite data, over the investigated region. The different methods that are implemented are known to perform well in the field of AD. Following the presentation of our system, a case study is described where the seismic event of 6.2 Mw is in Ludian, China and occurred on 3rd August 2014. The event is used to present the usefulness of our approach and pinpoint some critical problems regarding satellite data that were identified

Automatic Anomaly Detection for Swarm Observations

Seis imágenes de un absceso cerebral en un paciente con sida.Six pictures of a cerebral abscess in a patient with AIDS

Semantic decoupling: reducing the impact of requirement changes

The continuous stream of requirements changes that often takes place during software development and can create major problems in the development process. This paper defines a concept we call semantic coupling that can be used during all the phases of a system specification and design to reduce the impact of changing requirements. Within the general framework of the intent specifications, traceability matrices representing the mappings between different abstraction levels are used to evaluate the sensitivity of a given design to requirement changes. The practicality of using the approach on real software is demonstrated using the specification of the control software for a NASA robot designed to service the heat-resistant tiles on the Space Shuttle